Coin de Quine — Wikipédia

Pour les articles homonymes, voir crochet.

Cet article est une ébauche concernant la typographie et les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Graphies
coin de Quine
⌜ ⌝ ⌞ ⌟
Graphie	⌜ ⌝ ⌞ ⌟
Codage
Noms	Coin nord-ouest Coin nord-est, Coin sud-ouest, Coin sud-est
Unicode	U+231C U+231D U+231E U+231F
Bloc	Signes techniques divers
modifier

Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est ‹ ⌜ ⌝ › sont utilisés pour les quasi-citations ou citations de Quine, et pour noter la numérotation de Gödel d’une expression.

Utilisation

[modifier | modifier le code]

En logique mathématique, les coins de Quine sont utilisés de la façon suivante : l’expression $\ulcorner (\zeta \subset \eta )\urcorner$ désigne une expression combinant les termes $\zeta$ et $\eta$ , peu importe ce qu’ils sont, par un signe d’inclusion entre parenthèses. Si $\zeta$ et $\eta$ sont respectivement «  $x\prime \prime \prime$  » et «  $y\prime \prime \ni (y\prime \prime \subset z\prime \prime )$  », alors $\ulcorner (\zeta \subset \eta )\urcorner$ est la formule «  $(x\prime \prime \prime \subset y\prime \prime \ni (y\prime \prime \subset z\prime \prime ))$  ». En général, l’expression entre coins de Quine représente une expression que l’on obtient lorsque les termes de cette première expression sont spécifiés.^[1]^,^[2]

Notes et références

[modifier | modifier le code]

↑ Quine 1937.
↑ Murphey 2011, p. 26.

Bibliographie

[modifier | modifier le code]

Murray G. Murphey, « Quine: Logic and philosophy », dans The development of Quine’s philosophy, Springer Science & Business Media, 2011, 286 p. (ISBN 9400724233 et 9789400724235), chap. 1
Unicode Consortium, « Symbols », dans The Unicode Standard, Version 13.0 – Core Specification, 2020, 815–880 p. (ISBN 978-1-936213-26-9, lire en ligne), chap. 22, p. 853
(en) W. V. Quine, « Logic based on inclusion and abstraction », Journal of Symbolic Logic, vol. 2, n^o 4,‎ décembre 1937, p. 145–152 (DOI 10.2307/2268279, JSTOR 2268279)

Voir aussi

[modifier | modifier le code]

Demi-crochet

Liens externes

[modifier | modifier le code]

(en) « Miscellaneous Technical[2300] », dans The Unicode Standard, version 16.0), 2024 (lire en ligne)

v · m Symboles typographiques
Ponctuation	Accolades « {} » Parenthèses « () » Chevrons « <> » ou « ‹› » ou « ⟨⟩ » Crochets « [] » Demi-crochets « ⸢ ⸣ ⸤ ⸥ » Guillemets « « » » ou « “” » ou « ‘’ » ou « „“ » ou « ‚‘ » ou « "" » ou « '' » Apostrophe « ’ » ou « ' » Virgule « , » Barre oblique « / » Barre oblique inversée « \ » Obliques d’omission « ⸍ ⸌ » Espace « » Point « . » Point élevé « ⸳ » Point médian « · » Points de suspension « ... » ou « … » Point-virgule « ; » Deux-points « : » Point d’exclamation « ! » Point d’exclamation culbuté « ¡ » Point d’interrogation « ? » Point d’interrogation culbuté « ¿ » Point exclarrogatif « ‽ » Point d’ironie « ⸮ » Signe moins commercial « ⁒ » Trait d’union « - » ou « ‐ » Tiret « – » ou « — » ou « ― » Cwi (꤮) Autres signes de ponctuation
Diacritique (de l’alphabet latin)	Accent aigu « ◌́ » Double accent aigu « ◌̋ » Accent grave « ◌̀ » Double accent grave « ◌̏ » Accent circonflexe « ◌̂ » Accent circonflexe souscrit « ◌̭ » Barre inscrite « ◌̶ » Brève « ◌̆ » Brève inversée « ◌̑ » Brève souscrite « ◌̮ » Brève inversée souscrite « ◌̯ » Caron « ◌̌ » Caron souscrit « ◌̬ » Cédille « ◌̧ » Corne « ◌ ̛ » Crochet en chef « ◌̉ » Ligne verticale en chef « ◌̍ » Ligne verticale souscrite « ◌̩ » Macron « ◌̄ » Macron souscrit « ◌̱ » Ogonek « ◌̨ » Ogonek suscrit « ◌᷎ » Point souscrit « ◌̣ » Point suscrit « ◌̇ » Point suscrit à droite « ◌͘ » Rond en chef « ◌̊ » Rond souscrit « ◌̥ » Tilde « ◌̃ » Tilde souscrit « ◌̰ » Tilde inscrit « ◌̴ » Trait suscrit « ◌̅ » Double trait suscrit « ◌̿ » Trait souscrit « ◌̲ » Double trait souscrit « ◌̳ » Tréma « ◌̈ » Tréma souscrit « ◌̤ » Umlaut « ◌̈ » Virgule souscrite « ◌̦ » Virgule suscrite « ◌̓ » Virgule réfléchie suscrite « ◌̓ »
Symbole typographique	Esperluette « & » Arobase « @ » Astérisque « * » Astérisme « ⁂ » Barre verticale « \| » ou « ¦ » Cercle en pointillés « ◌ » Chrone « ː » Copyright « © » Copyright phonographique « ℗ » Marque déposée « ® » Marque commerciale « ™ » Marque de service « ℠ » Coche « ✓ » Croisillon « # » Croix pointée « ⁜ » Marque de référence « ※ » Degré « ° » Celsius « °C » Fahrenheit « °F » Numéro « № » Et tironien « ⁊ » Manicule « ☞ » Obèle « † » et « ‡ » Prime : minute, seconde et tierce « ′ ″ ‴ » Paragraphe « § » Par conséquent « ∴ » Parce que « ∵ » Pied-de-mouche « ¶ » Puce « • » Tiret bas « _ » Tiret en chef « ‾ » Signe de fin d’article « ◼ » x de bulletin de vote « ✘ » Symbole explicatif « ɔ: »
Symbole mathématique	Plus « + » Moins « − » Plus ou moins « ± » Croix « × » ou point « ⋅ » de multiplication Deux-points « : » ou obélus « ÷ » de division Égal « = » Différent de « ≠ » Plus petit que ou plus grand que « <, ≤, >, ≥ » ou balise « <></>, </> » Approximation « ≈ » Barre de fraction « ⁄ » ou « / » Pour cent « % » Pour mille « ‰ » Pour dix mille « ‱ » Carré, cube et exposant « ² ³ … ⁿ » Radical « √ » Intégrale « ∫ » Somme « ∑ » Produit indexé « ∏ » Micro « μ » Partie entière « ⌊ ⌋ ⌈ ⌉ »
Symbole logique	Et et » ou « logique « ∧ ∨ » Quantificateurs existentiel et universel « ∃ ∀ » Négation « ¬ » Ensemble vide « ∅ » Intersection et union « ∩ ∪ » Sous-ensemble de et sur-ensemble de « ⊆ ⊇ » Appartenance « ∈ ∋ » Complémentaire « ∁ » Coins de Quine « ⌜ ⌝ ⌞ ⌟ »
Symbole monétaire	Monnaie générique « ¤ » Baht « ฿ » Bitcoin « ₿ » Cédi « ₵ » Cent « ¢ » Colon « ₡ » Dollar « $ » Dong « ₫ » Dram « ֏ » Euro « € » Guaraní « ₲ » Hryvnia « ₴ » Kip « ₭ » Livre sterling « £ » Livre (ou lire) turque « ₺ » Manat azerbaïdjanais « ₼ » Naira « ₦ » Peso philippin « ₱ » Riel « ៛ » Rouble russe « ₽) Roupie indienne « ₹ » Shekel « ₪ » Tengué « ₸ » Tugrik « ₮ » Won « ₩ » Yen ou yuan « ¥ »
Abréviation médiévale Empreinte typographique

Portail de l’écriture